Buy Used and New Herman Geuvers Books

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers: 2646 (Lecture Notes in Computer Science)

by Herman Geuvers,Freek Wiedijk

ISBN 13: 9783540140313

Format: Paperback (344 pages)
Publisher: Springer
Published: 28 Apr 2003

Save for later